Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
71	MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics
72	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
73	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
74	Formal certification of ElGamal encryption A gentle introduction to CertiCrypt ⋆ Gilles Barthe1 , Benjamin Gr´egoire2,3, Sylvain Heraud3 , and Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 RSA Optimal asymmetric encryption padding Denotational semantics ElGamal encryption Cryptographic hash function Random oracle XTR Function Digital signature Cryptography Public-key cryptography Ciphertext indistinguishability
75	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
76	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic
77	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
78	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
79	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
80	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering

UPDATE